Structural theory - PDFSEARCH.IO - Document Search Engine

Structural theory
Results: 914

#	Item
801	Estimating the Accuracy of Multiple Alignments and its Use in Parameter Advising! Dan F. DeBlasio1 , Travis J. Wheeler2 , and John D. Kececioglu1,!! 1 2 Add to Reading List Source URL: www.cs.arizona.edu Language: English - Date: 2012-03-14 17:10:15 Biology Statistics Sequence alignment Structural alignment Multiple sequence alignment Estimator Estimation theory Alignment BLOSUM Bioinformatics Computational phylogenetics Science
802	PROTEINS: Structure, Function, and Genetics, Suppl. 1:43–[removed]Handling Context-Sensitivity in Protein Structures Using Graph Theory: Bona Fide Prediction Ram Samudrala1,2 and John Moult1* 1Center for Advanced Res Add to Reading List Source URL: www.ram.org Language: English - Date: 2005-12-27 20:33:09 Protein structure Protein methods Science Statistics Structural alignment Homology modeling Sequence alignment Beta sheet Root-mean-square deviation Bioinformatics Biology Computational phylogenetics
803	Description Logics Structural Description Logics: Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:47 Semantics Model theory Functions and mappings Interpretation Philosophy of language Philosophy of mind Function Description logic Finitary relation Mathematics Logic Mathematical logic
804	A Fixedpoint Approach to (Co)Inductive and (Co)Datatype Definitions∗ Lawrence C. Paulson [removed] Computer Laboratory, University of Cambridge, England 28 May 1998 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-04-29 07:49:49 Mathematical logic Computability theory Theoretical computer science Recursion Theory of computation Primitive recursive function Structural induction Recursive definition Coinduction Mathematics Computer programming Software engineering
805	Structural Theory of Science as a Systematic Framework for the Design of DL’s and CD’s for E-Science Hansje Braam Utrecht University, Faculty of Humanities [removed] Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Scientific method Philosophy of science Predicate logic Model theory Knowledge representation Ontology Theory Scientific theory First-order logic Science Logic Ethology
806	Description Logics in the Calculus of Structures Jean-David Roubach1,2 , Pascal Yim2 , and Joaquín Rodriguez1 1 INRETS – ESTAS Villeneuve d’Ascq, France Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Non-classical logic Philosophical logic Metalogic Calculus of structures Modal logic Deep inference Structural proof theory Sequent calculus Proof calculus Logic Mathematical logic Proof theory
807	PDF Document Add to Reading List Source URL: www.lvc.edu Language: English - Date: 2013-01-10 13:19:39 Social philosophy Knowledge Science Functionalism Structural functionalism Sociological theory Social science Deviance Sociological imagination Sociology Criminology Sociological terms
808	EASTERN OREGON UNIVERSITY[removed]CATALOG Anthropology/Sociology Add to Reading List Source URL: www.eou.edu Language: English - Date: 2014-05-01 14:32:11 Culture Sociological theory Structural functionalism Knowledge Academia Sociology Anthropology Social science
809	Faculty Publications A compilation of publications from 2008–2013∗ Department of Mathematics University of Illinois at Urbana-Champaign Add to Reading List Source URL: www.math.illinois.edu Language: English - Date: 2014-03-17 16:52:05 Number theory Pi Srinivasa Ramanujan Eisenstein series Size effect on structural strength Rogers–Ramanujan identities Mathematics Mathematical analysis Modular forms
810	Applications of inductive definitions and choice principles to program synthesis Ulrich Berger and Monika Seisenberger {u.berger,csmona}@swansea.ac.uk University of Wales Swansea Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2006-06-27 17:59:13 Structural induction Mathematical proof Mathematical induction Well-quasi-ordering Axiom of choice Recursion Intuitionistic type theory Well-founded relation Bar induction Mathematics Mathematical logic Logic

UPDATE